recursively axiomatizable
递归可公理化
热门查询
- cockle n. 海扇壳，海扇类；鸟蛤；麦仙翁；小舟 n. (Cockle)人名；(英)科克尔 vt. 使皱 vi. 折皱，起皱
- herbivorous adj. [动] 食草的
- MACRAE [人名] 麦克雷
- democratise v. <主英>（使）民主化
- despoil vt. 掠夺，剥夺；夺取
- fatalistic adj. 宿命论的
- Antiguan a. Antigua的变形
- overspending v. 超支（overspend的ing形式）；花费过多；过度花费
- accepting v. 接受；同意；承担（责任等）（accept的ing形式） adj. 承兑的；易接受的；赞同的
- Balinese n. 巴厘人；巴厘语 adj. 巴厘岛的；巴里岛人的；巴厘语的
- maimed adj. 残废的；受伤的 v. 使残废（maim的过去分词）
- worshipping 崇拜（worshipping是worship的现在分词） 敬神（worshipping是worship的现在分词） 尊敬（worshipping是worship的现在分词） 供祀活动（worshipping是worship的现在分词）
- PPP abbr. 点对点通讯协定（Point - to - Point Protocol）；端对端协议（Peer-Peer Protocol）
- buy n. 购买，买卖；所购的物品 vi. 买，采购 vt. 购买；获得；贿赂 n. (Buy)人名；(法)比伊
- present n. 现在；礼物；瞄准 adj. 现在的；出席的 vt. 提出；介绍；呈现；赠送 vi. 举枪瞄准
- disseminated v. 散布（disseminate的过去分词）；撒播 adj. 浸染的；散播性的
- worse n. 更坏的事；更恶劣的事 adj. 更坏的；更差的；更恶劣的（bad的比较级）；（病情）更重的（ill的比较级） adv. 更糟；更坏；更恶劣地；更坏地
- miscarriage n. [妇产] 流产；失败；误送
- interspersed adj. 点缀的；散置的 v. 点缀（intersperse的过去式）；散布
- dishwashing n. 洗碗 v. 洗碗（diahwash的现在分词）
